This book aims to promote constructive mathematics, not by defining it or formalizing it, but by practicing it, by basing ...